This paper applies the characters of primes in the mathematical theory of numbers, transfers the symbolic computation into value computation, and designs a tool of Boolean expression simplification. 运用数论理论中素数的性质和特点,将符号计算问题转化为数值计算问题,设计了一个布尔表达式化简工具。
Implementation of Symbolic Differentiation and Simplification System 符号微分与化简系统的实现